BDD相关论文
采用传统方法难以去除由高温气冷堆燃料制作过程中产生的高浓度四氢糠醇（Tetrahydrofurfurly alcohol,THFA）和火炸药生产过程中产生......
目的:随着整形美容手术的逐渐普及,BDD 即躯体变形障碍也逐渐引起外科医生的关注。BDD 患者常伴有进食障碍、边 缘性人格障碍、焦......
利用纳米结构硼掺杂金刚石(nBDD)电极的优点对人体尿液中的UA含量进行检测,并与常规玻碳(GC)电极做了比较。检测不同尿样的结果可......
采用微波等离子体化学气相沉积法(MPCVD)以氢气和甲烷为生长源、硼烷作掺杂源,在不同硼碳比(B/C)下制备不同硼含量的掺硼金刚石(BD......
为探究启发式边排序策略性能和网络结构特征的相关性,并建立网络结构特征依赖的边排序策略选择方法,基于4种常用的规则网络对BFS(b......
长庆油田油井分散，管理不便，尤其是近年来井口压力表经常被砸、被盗，从压力表接口和取样阀门盗油现象极为严重，迫使油田把大部分油井压......
最近，烷硫基因其在聚合物太阳能电池(PSCs)材料的分子设计中的应用引起了广泛关注.在基于benzodithiophene(BDT)和benzodithiop......
掺硼金刚石(BDD)电极以其自身优异的物理及化学性质,被为是电催化氧化有机污染物领域最为理想的电极材料,由于其具有较高的降解效......
该文立足于安全关键系统,选择铁路车站信号控制系统作为具体的应用对象,对安全关键系统的形式化开发方法进行了下述主要研究和探索......
学位
体象障碍(Bodly dysmorphic disorder,BDD)又称为躯体变形障碍,是指个体在客观上躯体外表并不存在缺陷,或者有极其轻微的缺陷,但其......
躯体变形障碍一种发病率、自杀率较高，识别率却较低的精神障碍，近些年对其研究才有所起步。《美国精神疾病诊断与统计手册》第五版将......
目的:研究聚合瓷嵌体修复活髓后牙大面积牙体缺损(Big dentin defect,BDD)中的临床疗效。方法:从2009年6月到2011年6月,于我院牙科......
针对导弹研制阶段的技术风险特点,基于故障树理论建立技术风险逻辑结构,利用R-FT对导弹研制阶段技术风险进行概率计算和影响分析.......
通过对时态逻辑的研究来探讨时态逻辑在硬件设计形式化验证上的应用 ,同时对布尔函数在计算机内的表示二叉判定图 (BDD)进行了进一......
本论文报道将硼掺杂钻石(BDD)电极用3-氨基丙基三乙氧基硅烷(APTES)进行功能化修饰,葡萄糖氧化酶与戊二醛混合后被滴加到APTES/BDD......
目的：探讨护理干预对美容受术者体像障碍的影响,以便提高受术者的满意度.方法：采用国内常用的体像障碍自评量表,将50例接受整形美容......
粉末金属的优良性质,例如机械强度、导热性、导电性、声学性质以及低密度等,使它作为新的材料得到广泛地应用.在多孔钛上制备金刚......
众所周知,高质量的掺硼金刚石(BDD) 薄膜具有较宽的电化学窗口,较低的背景电流以及较强的抗腐蚀性,这使得它在电分析、电解氧化等......
采用热阴极直流辉光等离子体CVD技术制备了掺硼金刚石膜电极（BDD）,利用扫描电子显微镜,激光拉曼光谱仪对电极进行了表征,通过循环伏......
随着现代科学技术的不断发展,大型复杂系统的研制日益增多,故障树模型是对关键系统进行可靠性建模分析时经常采用的处理方法.而对......
该文对系统级设计结果验证问题以及以系统任务为模型的任务模型检验方法MCTL进行了讨论.为了实现系统级设计结果检验,该文第三部分......
针对SOC验证的需要,研究了形式化验证方法,重点分析了二元决策图(BDD)的等效性检查技术,设计了FSM等效性检查的程序,以及算法级描......
通过对时态逻辑的研究来探讨时态逻辑在硬件设计形式化验证上的应用,同时对布尔函数在计算机内的表示二叉判定图(BDD)进行了进一步......
Delay consideration has been a majorissue in design and test of high performance digital circuits. Theassumption of inpu......
选用掺硼金刚石(BDD)电极作为阳极、不锈钢电极阴极,对酸性橙Ⅱ染料废水进行电化学降解研究.讨论了电解质、电流密度、溶液pH、初......
多阶段任务系统是一类普遍存在的复杂系统,研究其可靠性冗余优化对于该类系统设计具有重要的参考价值。针对多阶段任务系统的可靠......
采用热阴极直流辉光等离子体CVD技术制备了掺硼金刚石膜电极（BDD）,利用扫描电子显微镜,激光拉曼光谱仪对电极进行了表征,通过循环伏......
针对移动网络通话问题日益严重,需要建立一个故障树分析（FTA）模型。利用BDD技术分析各个基本事件的结构重要度、概率重要度和临界值......
给出了一组从Verilog HDL到可符号执行代码的转换规则，并且提出了ProcessQueue机制。通过运用符号模拟的方法和二叉决策图技术，给出......
随着企业的日益发展，在大型企业中进行客户端部署是一件非常复杂和耗时的工作。商业客户端部署现在已经越来越受到企业用户的关注，它......
文章分析了目前常用的等价性检验方法的特点,包括功能性和结构性的验证方法;讨论了基于二叉判决图(BDD)的组合电路等价性检验方法,......
在网络技术问题的研究中,3-状态设备网络系统二-终端可靠度评估的BDD算法存在着可靠度符号表达式项数多,算法效率低问题。为提高可......
针对数据驱动的测试方法中测试用例不能准确测试用户需求,以及测试脚本难以编写的问题,在整个测试过程中融入B D D 的思想.使用通......
在非单调关联系统中对Ｂ－Ｐ概率重要度的概念作了推广，给出了基于ＢＤＤ的该重要度新计算方法。......
介绍了二叉判定图（BDD）的相关知识及在构造BDD过程中变量顺序对其结点数的影响，在Friednan等提出的一种寻找最优变量排序算法的基础上......
本文分析了基于BDD的组合电路等价性检验；讨论了构造输出函数的二叉判定图BDD的不同方法，并分析了BDD间布尔操作的不同的算法的异同；......
针对数字电路的测试两大难点,采用二元判决图(BDD) 表示数字电路模型,同时由BDD生成测试矢量来完成数字电路的功能测试.在由VHDL描......
二元判断图BDD（Binary Decision Diagram）是逻辑布尔函数的一种高效表示方法,在计算机科学以及数字电路系统等领域中有广泛的应用。......
以供电企业快速桌面部署的实际应用为基础，阐述了企业级桌面部署平台的设计与实现，详细介绍了部署平台的构建方式和关键技术，分析了平......
提出利用BDD技术来分析数控机床各部件的结构重要度和概率重要度。将系统各部件按其重要性排列出来，利用BDD法求解了电源系统各部件......
形式化方法是一种用于规范、设计和验证计算机系统的基于数学的方法,包括各种语言、技术和工具等.近几年来,形式化方法在硬件设计......
从遗传算法入手，利用已有的几种启发式变量排序方法的结果作为最初的染色体群体，并适当加入随机变量顺序，然后按照遗传算法的方法进行......
